#ifndef _UTILS_H
#define _UTILS_H

#include <assert.h>

#undef ASSERT
#undef REQUIRES
#undef ENSURES

#ifdef DEBUG
#define ASSERT(COND) assert(COND)
#define REQUIRES(COND) assert(COND)
#define ENSURES(COND) assert(COND)

#else
#define ASSERT(COND) ((void)0)
#define REQUIRES(COND) ((void)0)
#define ENSURES(COND) ((void)0)
#endif

#endif
